/*
 * VerilogTextArea.java
 * 
 * last update: 14.01.2010 by Stefan Saru
 * 
 * author:	Alec(alecu@kermit.cs.pub.ro)
 *
 * Obs: N/A
 */


package ide;

import java.awt.*;
import javax.swing.*;

/**
 * Provides a key for UI mapping
 * @see VerilogTextUI
 */
@SuppressWarnings("serial")
class VerilogTextArea extends JTextArea{

  /**
   * the value returned by getUIClassID
   */
  public static String uiClassID = "VerilogTextUI";

  VerilogTextArea() {
    super();
    //RepaintManager.currentManager(this).setDoubleBufferingEnabled(false);
    setUI(new VerilogTextUI());
    setSelectionColor(Color.cyan);
    setBackground(new Color(250, 250, 200));
  }

  public int getRowHeight(){
    return super.getRowHeight();
  }

  public void setFont(Font f){
    super.setFont(f);
    if(getBorder() != null)
      ((VeriSimDocumentFrame.NumberedBorder)getBorder()).setFontHeight(getRowHeight());
  }

  public String getUIClassID(){
    return uiClassID;
  }
}